C data types

Results: 2337



#Item
941C++ / Procedural programming languages / C programming language / Data types / Pointer / Typedef / Printf format string / ALGOL 68 / C / Computing / Software engineering / Computer programming

EMG plugin API Overview The functionality in EMG can be extended by writing a plugin. These should be written in C, or in some language that can produce a shared library with "C" linkage. Each plugin implements one or mo

Add to Reading List

Source URL: www.nordicmessaging.se

Language: English - Date: 2007-08-07 10:03:56
942Software engineering / C++ / C programming language / Pointer / Printf format string / Typedef / Void type / Data types / Computing / Computer programming

EMG 5 - Plugin API Overview The functionality in EMG can be extended by writing a plugin. For example, plugins can be used to reject messages (spam filtering, blacklisting etc), implementing custom routing (HLR lookups,

Add to Reading List

Source URL: www.nordicmessaging.se

Language: English - Date: 2010-07-25 10:05:01
943Data types / Software bugs / Computer arithmetic / Type theory / Type safety / Integer overflow / Signedness / Buffer overflow protection / C / Computing / Software engineering / Computer programming

RICH: Automatically Protecting Against Integer-Based Vulnerabilities David Brumley, Tzi-cker Chiueh, Robert Johnson [removed], [removed], [removed] Huijia Lin, Dawn Song [removed]el

Add to Reading List

Source URL: www.isoc.org

Language: English - Date: 2008-01-28 17:23:31
944Data types / Procedural programming languages / Cross-platform software / C++ Standard Library / Theoretical computer science / SPARK / Vector Field Histogram / Ada / C / Computing / Software engineering / Computer programming

Verification and testing of mobile robot navigation algorithms: A case study in SPARK Piotr Trojanek and Kerstin Eder Abstract— Navigation algorithms are fundamental for mobile robots. While the correctness of the algo

Add to Reading List

Source URL: www.spark-2014.org

Language: English - Date: 2014-08-20 15:36:18
945Data types / Primitive types / Procedural programming languages / Program logic / Pointer / Type theory / Reference / ALGOL 68 / C / Software engineering / Computing / Programming language theory

Automatic Verification of Pointer Programs using Monadic Second-Order Logic∗ Jakob L. Jensen, Michael E. Jørgensen, Michael I. Schwartzbach BRICS, University of Aarhus {u820406,medgar,mis}@brics.dk Nils Klarlund

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2007-03-08 16:47:37
946Computer arithmetic / Data types / Primitive types / C++ classes / Floating point / Geographic information system / ALGOL 68 / Df / Data structure / Computing / Software engineering / Shapefile

Spatial Data Management Plan – Issues log and actions taken to address them in the Version[removed]update. ID Source Summary Importance Reason for Importance Step in Process Detail Resolution 1 Dr Kate Perkins – Incon

Add to Reading List

Source URL: www.defence.gov.au

Language: English - Date: 2015-03-19 18:46:35
947C++ / Cross-platform software / Data types / C Standard Library / Pointer / Circular buffer / C / Printf format string / Write / Computing / Software engineering / Computer programming

Implementation of the Legion Library Adam J. Ferrari, Mike Lewis, Charles L. Viles and Anh Nguyen-Tuong, Andrew S. Grimshaw The Legion Research Group1 Technical Report CS-96-16

Add to Reading List

Source URL: legion.virginia.edu

Language: English - Date: 1998-12-07 09:56:18
948Object-oriented programming / Data types / Function / Subroutine / Objective-C / Predicate / Object / Class / Software engineering / Computer programming / Computing

Loom Reference Manual Version 2.0 David Brill December 28, 1993 c 1993 by the University of Southern California. All rights reserved.

Add to Reading List

Source URL: www.isi.edu

Language: English - Date: 2001-02-16 19:08:24
949Software / C / Cross-platform software / Array data type / Field / Microsoft Excel / Variable / Software engineering / Computing / Data types

ARBUTUS What’s New in Analyzer Version 5.3 Documentation – December 2011 Commands • EXPORT now writes directly to any ODBC source (e.g., Oracle, DB2, SQL Server, etc.)

Add to Reading List

Source URL: www.arbutussoftware.com

Language: English - Date: 2014-10-06 16:45:24
950Data types / Cross-platform software / Procedural programming languages / Type theory / Scripting languages / Anonymous function / C / Foreach loop / Scope / Software engineering / Computing / Computer programming

FEDELE: A Mechanism for Exending the Syntax and Semantics for the Hybrid Functional-Object-Oriented Scripting Language FOBS James Gil de Lamadrid Bowie State University, 14000 Jericho Pk Rd, Bowie, MD[removed]jgildelamadr

Add to Reading List

Source URL: ifl2014.github.io

Language: English - Date: 2015-03-04 15:20:42
UPDATE